Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu

Source URL: homes.cs.washington.edu

A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit

Source URL: homes.cs.washington.edu

SORCERY Written by JASON “PK” LEVINE Illustrated by GUY BURWELL, PAUL DALY, SHEA RYAN, and DAN SMITH Additional Material by STEVE JACKSON, S. JOHN ROSS, and DANIEL U. THIBAULT

Source URL: www.warehouse23.com

JuneSUMMER VACATION! Roundtable goes on hiatus. S

Source URL: www.civilwarheritagewco.org

• American Civil War
• Battle of Chancellorsville
• Chancellorsville Campaign
• Stonewall Jackson
• Edwin Stanton
• Battle of Gettysburg
• George B. McClellan
• Daniel Sickles
• Stephen A. Douglas
• Abraham Lincoln
• Civil War Roundtable
• Sickles

Daniel L. Rochester (b. 11 Mard. 9 DecMarried Cynthia Emaline Collins (b. 27 JunG. Anne Sheriff August 1, 2010

Source URL: www.oldpendleton.scgen.org

• Rochester
• New York
• Rochester
• New Hampshire
• Cashiers
• North Carolina
• Jackson County
• North Carolina

What’s Wrong with Git? A Conceptual Design Analysis Santiago Perez De Rosso Daniel Jackson Computer Science and Artificial Intelligence Lab

Source URL: people.csail.mit.edu

Object Spreadsheets: an end-user development tool for web applications backed by entity-relationship data ∗ Richard Matthew McCutchen, Shachar Itzhaky, and Daniel Jackson Massachusetts Institute of Technology

Source URL: sdg.csail.mit.edu

Towards a Theory of Conceptual Design for Software Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology, USA Abstract

Source URL: sdg.csail.mit.edu

Programming with Enumerable Sets of Structures Ivan Kuraj Viktor Kuncak Daniel Jackson

Source URL: lara.epfl.ch